situation calculus - Deutsch Englisch Wörterbuch